Sebastian Nanz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2011 5th International Symposium on Empirical Software Engineering and Measurement (ESEM) - Banff, AB, Canada (2011.09.22-2011.09.23)] 2011 International Symposium on Empirical Software Engineering and Measurement - Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages

Nanz, Sebastian, Torshizi, Faraz, Pedroni, Michela, Meyer, Bertrand

Year:

2011

Language:

english

File:

PDF, 615 KB

english, 2011

2

Formal Security Analysis for Ad-Hoc Networks

Sebastian Nanz, Chris Hankin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 314 KB

english, 2006

3

A framework for security analysis of mobile wireless networks

Sebastian Nanz, Chris Hankin

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 359 KB

english, 2006

4

Static analysis of topology-dependent broadcast networks

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 494 KB

english, 2010

5

[Lecture Notes in Computer Science] Objects, Models, Components, Patterns Volume 7304 || Integrating Efficient Model Queries in State-of-the-Art EMF Tools

Furia, Carlo A., Nanz, Sebastian

Year:

2012

Language:

english

File:

PDF, 329 KB

english, 2012

6

Design of an empirical study for comparing the usability of concurrent programming languages

Nanz, Sebastian, Torshizi, Faraz, Pedroni, Michela, Meyer, Bertrand

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 807 KB

english, 2013

7

[Lecture Notes in Computer Science] Objects, Models, Components, Patterns Volume 7304 || TimeSquare: Treat Your Models with Logical Time

Furia, Carlo A., Nanz, Sebastian

Year:

2012

Language:

english

File:

PDF, 401 KB

english, 2012

8

The Future of Software Engineering ||

Nanz, Sebastian

Year:

2011

Language:

english

File:

PDF, 3.22 MB

english, 2011

9

The Future of Software Engineering || Some Future Software Engineering Opportunities and Challenges

Nanz, Sebastian

Year:

2011

Language:

english

File:

PDF, 671 KB

english, 2011

10

Performance analysis of SCOOP programs

Morandi, Benjamin, Nanz, Sebastian, Meyer, Bertrand

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 1.08 MB

english, 2012

11

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Prototyping a Concurrency Model

Morandi, Benjamin, Schill, Mischael, Nanz, Sebastian, Meyer, Bertrand

Year:

2013

Language:

english

File:

PDF, 347 KB

english, 2013

12

[IEEE 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) - Baltimore, Maryland (2013.10.10-2013.10.11)] 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement - Benchmarking Usability and Performance of Multicore Languages

Nanz, Sebastian, West, Scott, Silveira, Kaue Soares da, Meyer, Bertrand

Year:

2013

Language:

english

File:

PDF, 309 KB

english, 2013

13

[IEEE 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) - Honolulu, HI, USA (2011.05.22-2011.05.24)] 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) - Empirical assessment of languages for teaching concurrency: Methodology and application

Nanz, Sebastian, Torshizi, Faraz, Pedroni, Michela, Meyer, Bertrand

Year:

2011

Language:

english

File:

PDF, 168 KB

english, 2011

14

[IEEE 2012 5th International Workshop on Exception Handling (WEH) - Zurich, Switzerland (2012.06.9-2012.06.9)] 2012 5th International Workshop on Exception Handling (WEH) - Can asynchronous exceptions expire?

Morandi, Benjamin, Nanz, Sebastian, Meyer, Bertrand

Year:

2012

Language:

english

File:

PDF, 135 KB

english, 2012

15

A logic for state-modifying authorization policies

Becker, Moritz Y., Nanz, Sebastian

Journal:

ACM Transactions on Information and System Security

Year:

2010

Language:

english

File:

PDF, 635 KB

english, 2010

16

[ACM Press the 20th ACM SIGPLAN Symposium - San Francisco, CA, USA (2015.02.07-2015.02.11)] Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2015 - Efficient and reasonable object-oriented concurrency

West, Scott, Nanz, Sebastian, Meyer, Bertrand

Year:

2015

Language:

english

File:

PDF, 157 KB

english, 2015

17

Modal abstractions of concurrent behavior

Nielson, Flemming, Nanz, Sebastian, Nielson, Hanne Riis

Journal:

ACM Transactions on Computational Logic

Year:

2011

Language:

english

File:

PDF, 678 KB

english, 2011

18

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Who is Accountable for Asynchronous Exceptions?

Morandi, Benjamin, Nanz, Sebastian, Meyer, Bertrand

Year:

2012

Language:

english

File:

PDF, 225 KB

english, 2012

19

Efficient and reasonable object-oriented concurrency

West, Scott, Nanz, Sebastian, Meyer, Bertrand

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 157 KB

english, 2015

20

Diagnostic Performance and Accuracy of 3-D Spoiled Gradient-Dual-Echo MRI With Water- and Fat-Signal Separation in Liver-Fat Quantification

Fischer, Michael A., Nanz, Daniel, Reiner, Caecilia S., Montani, Matteo, Breitenstein, Stefan, Leschka, Sebastian, Alkadhi, Hatem, Stolzmann, Paul, Marincek, Borut, Scheffel, Hans

Journal:

Investigative Radiology

Year:

2010

Language:

english

File:

PDF, 528 KB

english, 2010

21

SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages

Kolesnichenko, Alexey, Poskitt, Christopher M., Nanz, Sebastian

Journal:

Computer Languages, Systems & Structures

Year:

2016

Language:

english

File:

PDF, 742 KB

english, 2016

22

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Efficient and reasonable object-oriented concurrency

West, Scott, Nanz, Sebastian, Meyer, Bertrand

Year:

2015

Language:

english

File:

PDF, 222 KB

english, 2015

23

Material-Dependent Implant Artifact Reduction Using SEMAC-VAT and MAVRIC

Filli, Lukas, Jud, Lukas, Luechinger, Roger, Nanz, Daniel, Andreisek, Gustav, Runge, Val M., Kozerke, Sebastian, Farshad-Amacker, Nadja A.

Journal:

Investigative Radiology

Year:

2017

Language:

english

File:

PDF, 701 KB

english, 2017